home *** CD-ROM | disk | FTP | other *** search
/ CD Actual 44 / PC Actual CD 44.iso / Demos / Flash / flash4full.exe / data1.cab / App_Files / Help / search.jar / FileLoadThread.class (.txt) next >
Encoding:
Java Class File  |  1998-08-20  |  2.9 KB  |  95 lines
  1. import java.io.BufferedReader;
  2. import java.io.InputStream;
  3. import java.io.InputStreamReader;
  4. import java.net.URL;
  5. import java.net.URLConnection;
  6. import java.text.MessageFormat;
  7. import java.util.Vector;
  8.  
  9. class FileLoadThread extends Thread {
  10.    boolean loaded = false;
  11.    long loadtime = -1L;
  12.    // $FF: renamed from: sa SearchApplet4ech
  13.    SearchApplet4ech field_0;
  14.    String encoding;
  15.    String resource_file;
  16.    String[] filedata;
  17.    String[] fileurls;
  18.  
  19.    FileLoadThread(SearchApplet4ech var1, String var2, String var3) {
  20.       this.field_0 = var1;
  21.       this.resource_file = var2;
  22.       this.encoding = var3;
  23.    }
  24.  
  25.    public void run() {
  26.       Vector var1 = new Vector(101);
  27.       Vector var2 = new Vector(101);
  28.       long var3 = System.currentTimeMillis();
  29.       int var5 = 0;
  30.  
  31.       try {
  32.          URL var6 = new URL(this.field_0.getCodeBase(), this.resource_file);
  33.          URLConnection var7 = var6.openConnection();
  34.          InputStream var8 = var7.getInputStream();
  35.          InputStreamReader var9 = this.encoding == null ? new InputStreamReader(var8) : new InputStreamReader(var8, this.encoding);
  36.          BufferedReader var10 = new BufferedReader(var9);
  37.  
  38.          String var11;
  39.          while((var11 = var10.readLine()) != null) {
  40.             if (var11.startsWith("<url>")) {
  41.                String var12 = var11.substring(var11.indexOf("<url>") + 5, var11.indexOf("</url>"));
  42.                var2.addElement(var12);
  43.                ++var5;
  44.                if (var5 % 10 == 0) {
  45.                   String[] var13 = new String[]{String.valueOf(var5)};
  46.                   String var14 = this.field_0.getMessage("search.search_initializing_documents");
  47.                   this.field_0.showStatus(MessageFormat.format(var14, var13));
  48.                }
  49.             } else if (var11.startsWith("<title>")) {
  50.                var1.addElement(var11);
  51.             }
  52.          }
  53.  
  54.          var10.close();
  55.       } catch (Exception var15) {
  56.          System.out.println(var15);
  57.       }
  58.  
  59.       this.filedata = new String[var1.size()];
  60.       this.fileurls = new String[var2.size()];
  61.       var1.copyInto(this.filedata);
  62.       var2.copyInto(this.fileurls);
  63.       this.field_0.showStatus("");
  64.       this.loaded = true;
  65.       long var16 = System.currentTimeMillis();
  66.       this.loadtime = var16 - var3;
  67.       this.field_0.prompt();
  68.    }
  69.  
  70.    public String[] getFileData() {
  71.       return this.filedata;
  72.    }
  73.  
  74.    public URL[] getFileURLs() {
  75.       URL[] var1 = new URL[this.fileurls.length];
  76.  
  77.       for(int var2 = 0; var2 < var1.length; ++var2) {
  78.          try {
  79.             var1[var2] = new URL(this.field_0.getCodeBase(), this.fileurls[var2]);
  80.          } catch (Exception var3) {
  81.          }
  82.       }
  83.  
  84.       return var1;
  85.    }
  86.  
  87.    public boolean isLoaded() {
  88.       return this.loaded;
  89.    }
  90.  
  91.    public long getLoadTime() {
  92.       return this.loadtime;
  93.    }
  94. }
  95.